Critical Thinking Lecture: Translating Into Propositional Logic 1